eddy-current sensor - German English Dictionary